Switch debian/watch to version 5

diff --git a/debian/watch b/debian/watch
index 1cb46cf9ded56d95bcc74abf988534d180330d6b..9cdc5d9873a9a2d49ae490bcbd2cda0c2e27787a 100644 (file)
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,5 @@
-version=4
-opts=uversionmangle=s/\+/~/ \
-https://caml.inria.fr/pub/distrib/ocaml-([\d\.]+)/ocaml-([^-]+)\.tar\.xz
+Version: 5
+
+Source: https://caml.inria.fr/pub/distrib/ocaml-@ANY_VERSION@/
+Matching-Pattern: ocaml-@ANY_VERSION@\.tar\.xz
+Uversionmangle: s/\+/~/